home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / env / dynenv.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  537 b   |  19 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. (* dynenv.sig *)
  3.  
  4. signature DYNENV =
  5. sig
  6.   type object (* = System.Unsafe.object *)
  7.   type dynenv
  8.   exception Unbound  
  9.   exception SpecialEnv
  10.   val empty: dynenv
  11.   val special: (Access.lvar -> object) * dynenv -> dynenv
  12.   val look: dynenv -> Access.lvar -> object
  13.   val bind: Access.lvar * object * dynenv -> dynenv
  14.   val atop: dynenv * dynenv -> dynenv
  15.     (* atop(e1,e2): place e1 on top of e2 *)
  16.   val remove: Access.lvar list * dynenv -> dynenv
  17.   val consolidate: dynenv -> dynenv
  18. end
  19.